GFO-Bio: A biological core ontology

GFO - Bio

The rapid increase in the number and use of biological ontologies necessitates developing systems for their integration. In this paper we present a core ontology for biology, and outline its application for integrating biological domain ontologies. Our ontology rests on a foundational ontology, which offers higher-order categories and a theory of levels of reality. The core ontology is implemen...

Ontology of functions: a domain independent framework for modeling functions

In many domains entities are considered in terms of their functions, starting with the design of artifacts, through natural and social sciences and ending with folk theories and common sense knowledge. However, there is a lack of a domain-independent ontological framework for representing and modeling functions. Such a framework could be given by top-level ontologies, providing the specificatio...

General Formal Ontology (gfo) a Foundational Ontology for Conceptual Modelling

Towards an Ontology of Space for GFO

Space and time are basic categories of any top-level ontology. They account for fundamental assumptions of the modes of existence of those individuals that are said to be in space and time. The present paper is devoted to GFO-Space, the ontology of space in the General Formal Ontology (GFO). This ontology is introduced by a set of axioms formalized in first-order logic and further elucidated by...

Ontology of Time and Situoids in Medical Conceptual Modeling

Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are important theoretical and practical research areas. We assume that a formal representation of temporal knowledge must use as a framework some top-level ontology which describes the most general categories of temporal entities...